凝縮数学における $\ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ と Peter Scholze の演習問題についての詳細解説
1. 議論の背景と出典
YouTube 等で公開されている凝縮数学の解説において、しばしば商空間 $\ell^2(\mathbb{N}) / \ell^1(\mathbb{N})$ の例が登場する。この具体例は、従来の位相空間 (topological space) の概念の限界を示し、凝縮集合 (condensed set) の有用性を対比させるための非常に直観的 (intuitive) な例として知られている。
この話題の初出かつ原典にあたる文献は、学術雑誌の論文や書籍ではなく、Peter Scholze 自身による Math Stack Exchange での回答である。
- サイト: Math Stack Exchange
- 質問タイトル: Examples of the difference between Topological Spaces and Condensed Sets
- 回答者: Peter Scholze
- 投稿日: 2021年7月15日
2. 基本概念の定義と包含関係 $\ell^1(\mathbb{N}) \subset \ell^2(\mathbb{N})$
議論の前提となる関数解析 (functional analysis) の基本的な対象である数列空間 (sequence space) について定義し、それらの包含関係を証明する。
定義 1 ($\ell^p$ 空間)
$1 \le p < \infty$ を満たす実数 $p$ に対して、実数列 (real sequence) $x = (x_n)_{n \in \mathbb{N}}$ であって、無限級数 $\sum_{n=1}^\infty |x_n|^p$ が収束するもののなす集合を $\ell^p(\mathbb{N})$ と定義する。すなわち、以下のように表される。
$$ \ell^p(\mathbb{N}) = \left\{ (x_n)_{n \in \mathbb{N}} \mid \sum_{n=1}^\infty |x_n|^p < \infty \right\} $$
特に、$p=1$ の場合を絶対収束数列の空間 $\ell^1(\mathbb{N})$ と呼び、ノルムを $\|x\|_1 = \sum_{n=1}^\infty |x_n|$ で定める。$p=2$ の場合を2乗和収束数列の空間 $\ell^2(\mathbb{N})$ と呼び、ノルムを $\|x\|_2 = \left( \sum_{n=1}^\infty |x_n|^2 \right)^{1/2}$ で定める。これらは完備 (complete) なノルム空間、すなわち Banach空間 (Banach space) となる。
理解に役立つ例として、数列 $x = (1/n)_{n \in \mathbb{N}}$ を考える。調和級数 $\sum_{n=1}^\infty 1/n$ は発散するため $x \notin \ell^1(\mathbb{N})$ であるが、$\sum_{n=1}^\infty 1/n^2 = \pi^2 / 6 < \infty$ であるため $x \in \ell^2(\mathbb{N})$ となる。この事実は $\ell^1(\mathbb{N})$ と $\ell^2(\mathbb{N})$ が異なる空間であることを示している。
次に、一般的な包含関係を証明する。
命題 2.1
包含関係 $\ell^1(\mathbb{N}) \subset \ell^2(\mathbb{N})$ が成り立つ。
証明:
任意の実数列 $x = (x_n)_{n \in \mathbb{N}} \in \ell^1(\mathbb{N})$ をとる。定義より、無限級数 $\sum_{n=1}^\infty |x_n|$ は収束して有限の値を持つ。
無限級数が収束するための必要条件により、数列 $(x_n)_{n \in \mathbb{N}}$ の各項は $n \to \infty$ とともに $0$ に収束する。すなわち、極限 (limit) $\lim_{n \to \infty} x_n = 0$ が成り立つ。
極限の定義から、$\epsilon = 1$ に対してある自然数 $N \in \mathbb{N}$ が存在し、$n \ge N$ を満たす任意の自然数 $n$ に対して $|x_n| < 1$ が成り立つ。
実数の基本的な性質として、$0 \le |x_n| < 1$ を満たすとき、この不等式の両辺に正の数あるいは $0$ である $|x_n|$ を掛けることで、不等式 $|x_n|^2 \le |x_n|$ が得られる。
この不等式を用いて、数列の2乗和の部分和 (partial sum) を評価する。任意の整数 $M > N$ に対して、各項での不等式を足し合わせることで以下の不等式が成り立つ。
$$ \sum_{n=N}^M |x_n|^2 \le \sum_{n=N}^M |x_n| $$
仮定より元々の級数 $\sum_{n=1}^\infty |x_n|$ は収束するため、その尾部 (tail) である $\sum_{n=N}^\infty |x_n|$ も有限の値を持つ。正項級数に関する比較判定法 (comparison test) により、上から抑えられている左辺の無限級数 $\sum_{n=N}^\infty |x_n|^2$ も収束する。
さらに、級数の最初の有限個の項の和 $\sum_{n=1}^{N-1} |x_n|^2$ は有限個の実数の和であるため、当然ながら有限の値である。したがって、全体としての無限級数 $\sum_{n=1}^\infty |x_n|^2$ は以下のように有限の値と有限の値の和に分解できるため、これも収束する。
$$ \sum_{n=1}^\infty |x_n|^2 = \sum_{n=1}^{N-1} |x_n|^2 + \sum_{n=N}^\infty |x_n|^2 < \infty $$
以上により、無限級数 $\sum_{n=1}^\infty |x_n|^2$ が収束することが示されたため、$x \in \ell^2(\mathbb{N})$ である。任意の $x \in \ell^1(\mathbb{N})$ が $x \in \ell^2(\mathbb{N})$ を満たすため、包含関係 $\ell^1(\mathbb{N}) \subset \ell^2(\mathbb{N})$ が成り立つ。証明終。
3. 位相空間における商位相の問題点と凝縮数学による解決
Banach空間の包含関係 $\ell^1(\mathbb{N}) \subset \ell^2(\mathbb{N})$ が確認できたため、自然な商ベクトル空間 $\ell^2(\mathbb{N}) / \ell^1(\mathbb{N})$ を考えることができる。しかし、ここに位相空間 (topological space) の概念の限界が現れる。
$\ell^2(\mathbb{N})$ に通常のノルム位相を入れ、商空間 $\ell^2(\mathbb{N}) / \ell^1(\mathbb{N})$ に商位相 (quotient topology) を導入するとする。商写像を $\pi : \ell^2(\mathbb{N}) \to \ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ と置く。商位相の定義により、$U \subset \ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ が開集合 (open set) であることと、$\pi^{-1}(U)$ が $\ell^2(\mathbb{N})$ の開集合であることは同値である。
もし $U$ が空集合 $\varnothing$ でない場合、ある点を含むため、その逆像 $\pi^{-1}(U)$ は少なくとも一つの $\ell^1(\mathbb{N})$ の剰余類（平行移動された $\ell^1(\mathbb{N})$）を完全に含む。ここで、有限個の非ゼロ項を持つ数列の集合（有限台の数列の集合）は $\ell^1(\mathbb{N})$ に含まれ、かつ $\ell^2(\mathbb{N})$ において稠密 (dense) である。部分空間が稠密であるならば、それを平行移動したものも稠密である。したがって、$\pi^{-1}(U)$ は $\ell^2(\mathbb{N})$ における稠密な部分集合を含む開集合となるため、必然的に $\pi^{-1}(U) = \ell^2(\mathbb{N})$ 全体となってしまう。
結果として、商空間 $\ell^2(\mathbb{N}) / \ell^1(\mathbb{N})$ の開集合は空集合 $\varnothing$ と全体空間のみとなる。すなわち、密着位相 (indiscrete topology) になってしまうのである。位相線型空間 (topological vector space) としての構造は完全に潰れ、単なる抽象的なベクトル空間以上の情報を持たなくなってしまう。
Scholze らは、この問題を解決するために凝縮数学 (condensed mathematics) を用いることを提唱した。
定義 2 (凝縮集合)
超不連結 (extremally disconnected) な compact Hausdorff空間 (compact Hausdorff space) のなす圏 (category) を $\text{ExtrDisc}$ とする。ここで、位相空間が超不連結であるとは、任意の開集合の閉包が再び開集合 (すなわち clopen であること) を満たすことをいう。
凝縮集合 (condensed set) とは、関手 (functor) $X : \text{ExtrDisc}^{\text{op}} \to \text{Set}$ であって、有限素な和 (finite disjoint union) を積 (product) に写し、かつ全射 (surjection) に対して sheaf (層) の公理を満たすもののことである。
任意の位相空間 $T$ は、$S \mapsto C(S, T)$ （$S$ から $T$ への連続写像の集合）によって凝縮集合 $\underline{T}$ を自然に定める。位相空間の間の連続写像は凝縮集合の間の射を誘導する。
凝縮 $\mathbb{R}$ ベクトル空間 (condensed $\mathbb{R}$-vector space) の圏は完全なアーベル圏 (abelian category) をなす。
凝縮 $\mathbb{R}$ ベクトル空間の圏がアーベル圏であることは極めて重要である。これにより、通常のアーベル群や加群の圏と同じように、任意の射に対して核 (kernel) や余核 (cokernel) が well-defined に存在し、商対象 $\underline{\ell^2(\mathbb{N})} / \underline{\ell^1(\mathbb{N})}$ も豊かで非自明な構造を保ったまま存在できるのである（これは liquid $\mathbb{R}$-vector space の理論へと繋がる）。
4. Peter Scholze の演習問題とその完全な証明
Scholze は Stack Exchange の回答の最後において、凝縮数学の世界では商空間 $\underline{\ell^2(\mathbb{N})} / \underline{\ell^1(\mathbb{N})}$ がいかに非自明な対象であるかを示す「楽しい演習問題 (fun exercise)」を提示した。それは、一見すると非線型 (non-linear) である関数 $x \mapsto x \log |x|$ が、凝縮 $\mathbb{R}$ ベクトル空間の間の「線型な射」を誘導するという驚くべき事実である。
定理 4.1 (Scholze の演習問題)
写像 $F : \ell^1(\mathbb{N}) \to \ell^2(\mathbb{N})$ を $x = (x_n) \mapsto (x_n \log |x_n|)$ （ただし $0 \log 0 = 0$ とする）によって定める。このとき $F$ はノルム位相に関して連続 (continuous) である。さらに、この $F$ が誘導する凝縮集合の射 $\underline{F} : \underline{\ell^1(\mathbb{N})} \to \underline{\ell^2(\mathbb{N})}$ と自然な商写像 $\pi : \underline{\ell^2(\mathbb{N})} \to \underline{\ell^2(\mathbb{N})} / \underline{\ell^1(\mathbb{N})}$ の合成 $\pi \circ \underline{F}$ は、凝縮 $\mathbb{R}$ ベクトル空間の間の非自明な線型写像 (linear map) を定める。
証明:
実関数 $f: \mathbb{R} \to \mathbb{R}$ を $t \neq 0$ のとき $f(t) = t \log |t|$ 、$t=0$ のとき $f(0) = 0$ と定義する。極限 $\lim_{t \to 0} t \log |t| = 0$ により、$f$ は $\mathbb{R}$ 全体で連続である。
ステップ 1: $F$ が well-defined であること。
$x = (x_n) \in \ell^1(\mathbb{N})$ とする。極限 $\lim_{t \to 0} t (\log |t|)^2 = 0$ であるから、ある定数 $C > 0$ と $\delta > 0$ が存在して、$|t| < \delta$ ならば $|f(t)|^2 = |t|^2 (\log|t|)^2 \le C |t|$ が成り立つ。$x \in \ell^1(\mathbb{N})$ より $x_n \to 0$ であるから、ある $N \in \mathbb{N}$ が存在して、$n > N$ ならば $|x_n| < \delta$ となる。したがって、この尾部について
$$ \sum_{n=N+1}^\infty |f(x_n)|^2 \le C \sum_{n=N+1}^\infty |x_n| < \infty $$
となる。最初の $N$ 項の和は有限個の実数の和であるから当然有限である。よって $\sum_{n=1}^\infty |f(x_n)|^2 < \infty$ であり、$F(x) \in \ell^2(\mathbb{N})$ が成り立つ。すなわち $F : \ell^1(\mathbb{N}) \to \ell^2(\mathbb{N})$ は写像として well-defined である。
ステップ 2: $F$ の連続性。
$\ell^1(\mathbb{N})$ の点列 $x^{(k)}$ が $k \to \infty$ で $x \in \ell^1(\mathbb{N})$ に収束するとする。任意の $\epsilon > 0$ をとる。$x^{(k)}$ は $\ell^1(\mathbb{N})$ におけるノルム収束列であるため、一様可積分性 (uniform integrability) に類似した尾部の一様評価が成り立つ。すなわち、ある $N \in \mathbb{N}$ が存在して、すべての $k$ について
$$ \sum_{n > N} |x_n^{(k)}| < \frac{\epsilon}{4C} \quad \text{および} \quad \sum_{n > N} |x_n| < \frac{\epsilon}{4C} $$
を満たすようにできる。この $N$ を固定した上で、さらに $k$ を十分大きくとれば、すべての $n > N$ に対して $|x_n^{(k)}| < \delta$ かつ $|x_n| < \delta$ が成り立つようにできる（ここで $\delta$ と $C$ はステップ1で選んだ定数である）。
このとき、尾部における差の2乗和は次のように評価できる。
$$ \sum_{n > N} |f(x_n^{(k)}) - f(x_n)|^2 \le 2 \sum_{n > N} (|f(x_n^{(k)})|^2 + |f(x_n)|^2) \le 2C \sum_{n > N} (|x_n^{(k)}| + |x_n|) < 2C \left( \frac{\epsilon}{4C} + \frac{\epsilon}{4C} \right) = \epsilon $$
一方で、$1 \le n \le N$ の有限個の $n$ については、$f$ の連続性と各座標ごとの収束 $x_n^{(k)} \to x_n$ により、十分大きな $k$ に対して $\sum_{n=1}^N |f(x_n^{(k)}) - f(x_n)|^2 < \epsilon$ とできる。
したがって、十分大きな $k$ に対して $\|F(x^{(k)}) - F(x)\|_2^2 < 2\epsilon$ となり、$F$ は通常のノルム位相に関して連続写像である。連続写像は関手性により、凝縮集合の射 $\underline{F} : \underline{\ell^1(\mathbb{N})} \to \underline{\ell^2(\mathbb{N})}$ を well-defined に誘導する。
ステップ 3: モジュロ $\ell^1(\mathbb{N})$ での加法性。
2変数関数 $g(u, v) = f(u+v) - f(u) - f(v)$ を考える。任意の $c > 0$ に対して、
$$ g(cu, cv) = (cu+cv)\log(c|u+v|) - cu\log(c|u|) - cv\log(c|v|) $$
$$ = c(u+v)(\log c + \log|u+v|) - cu(\log c + \log|u|) - cv(\log c + \log|v|) $$
$$ = c(f(u+v) - f(u) - f(v)) + c\log c (u+v - u - v) = c g(u, v) $$
が成り立つ。有界閉集合 (compact set) である $K = \{(u, v) \in \mathbb{R}^2 \mid |u| + |v| = 1\}$ 上で $g$ は連続であるため最大値を持つ。その絶対値の最大値を $M > 0$ と置く。
任意の $(x, y) \neq (0,0)$ に対して、$c = |x| + |y| > 0$ とし、$u = x/c$、$v = y/c$ とすると $(u, v) \in K$ である。ゆえに、
$$ |g(x, y)| = |g(cu, cv)| = c |g(u, v)| \le M c = M(|x| + |y|) $$
がすべての $(x, y) \in \mathbb{R}^2$ で成り立つ（$(0,0)$ のときは自明）。
$x, y \in \ell^1(\mathbb{N})$ とすると、各項について $|g(x_n, y_n)| \le M(|x_n| + |y_n|)$ が成り立つため、
$$ \sum_{n=1}^\infty |g(x_n, y_n)| \le M (\|x\|_1 + \|y\|_1) < \infty $$
となる。これは数列 $F(x+y) - F(x) - F(y)$ が $\ell^1(\mathbb{N})$ に属することを意味する。したがって、商空間 $\underline{\ell^2(\mathbb{N})} / \underline{\ell^1(\mathbb{N})}$ においては $F(x+y) \equiv F(x) + F(y)$ となる。
ステップ 4: モジュロ $\ell^1(\mathbb{N})$ でのスカラー倍。
$c \in \mathbb{R}$ と $x \in \ell^1(\mathbb{N})$ に対して、
$$ f(cx) = cx \log|cx| = c(x \log|x|) + cx \log|c| = c f(x) + (c \log|c|) x $$
である（$c=0$ または $x=0$ のときは自明に $0$ となる）。
ここで $x \in \ell^1(\mathbb{N})$ であり、$c \log|c|$ は単なる定数であるから、定数倍された数列 $(c \log|c|) x$ も $\ell^1(\mathbb{N})$ に属する。よって $F(cx) - c F(x) \in \ell^1(\mathbb{N})$ である。商空間においては $F(cx) \equiv c F(x)$ となる。
ステップ 3 と 4 により、非線型な位相空間の連続写像 $F$ が誘導する射 $\underline{F}$ を商対象へ射影した $\pi \circ \underline{F}$ は、凝縮 $\mathbb{R}$ ベクトル空間の圏において完全な線型写像 (linear map) となることが示された。
ステップ 5: 非自明性。
最後に、この写像 $\pi \circ \underline{F}$ が零写像 (zero map) でないことを示す。そのためには $x \in \ell^1(\mathbb{N})$ であって $F(x) \notin \ell^1(\mathbb{N})$ となる例を一つ構成すれば十分である。
$n \ge 2$ に対して数列 $x_n = \frac{1}{n (\log n)^2}$ を考える。積分判定法により $\sum_{n=2}^\infty \frac{1}{n (\log n)^2} < \infty$ であるから、$x = (x_n)_{n \ge 2} \in \ell^1(\mathbb{N})$ である。（添字の開始が1ずれることは空間の性質に影響しない。）
一方で、$f(x_n)$ を計算すると、
$$ f(x_n) = \frac{1}{n (\log n)^2} \log \left( \frac{1}{n (\log n)^2} \right) = \frac{-\log n - 2 \log \log n}{n (\log n)^2} $$
となる。十分大きな $n$ において、$\log n + 2 \log \log n > \frac{1}{2} \log n$ が成り立つため、
$$ |f(x_n)| > \frac{\frac{1}{2} \log n}{n (\log n)^2} = \frac{1}{2 n \log n} $$
となる。調和級数の変形として、積分判定法により $\sum_{n=2}^\infty \frac{1}{n \log n} = \infty$ となることはよく知られている。したがって、比較判定法により $\sum_{n=2}^\infty |f(x_n)| = \infty$ となる。
ゆえに $F(x) \notin \ell^1(\mathbb{N})$ であり、商空間において $F(x)$ のクラスは $0$ ではない。すなわち $\pi \circ \underline{F}$ は非自明である。
以上により、全ての証明が完結する。証明終。
5. 誘導された線型写像の単射性について
上で構成された写像 $\tilde{F} = \pi \circ F : \ell^1(\mathbb{N}) \to \ell^2(\mathbb{N}) / \ell^1(\mathbb{N})$ は非自明な線型写像であることが示されたが、この写像は単射 (injective) ではない。線型写像が単射であることと、その核 (kernel) がゼロ空間のみからなることは同値である。以下に、これが単射でないことの完全な証明を与える。
命題 5.1
写像 $\tilde{F} : \ell^1(\mathbb{N}) \to \ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ は単射ではない。
証明:
数列 $x = (x_n)_{n \in \mathbb{N}}$ を、最初の項だけがゼロでなく、それ以降のすべての項がゼロであるような数列とする。具体的な反例として、$x_1 = 1/2$ かつ $n \ge 2$ に対して $x_n = 0$ と定める。すなわち、$x = (1/2, 0, 0, \dots)$ である。
明らかに $\sum_{n=1}^\infty |x_n| = 1/2 < \infty$ であるため、$x \in \ell^1(\mathbb{N})$ である。また $x_1 \neq 0$ であるため、数列 $x$ はゼロベクトルではない。すなわち $x \neq 0$ である。
この $x$ に対して写像 $F$ を適用した結果である数列 $F(x)$ の各項を計算する。
第1項は $F(x)_1 = \frac{1}{2} \log(1/2) = -\frac{1}{2} \log 2$ であり、これは $0$ ではない。
第2項以降の任意の $n \ge 2$ に対しては、$x_n = 0$ であるため $F(x)_n = 0 \log 0 = 0$ となる。
したがって、$F(x) = (-\frac{1}{2} \log 2, 0, 0, \dots)$ となる。
この数列 $F(x)$ が $\ell^1(\mathbb{N})$ に属するかどうかを判定するために絶対収束性を確認する。有限個の非ゼロ項しか持たないため、
$$ \sum_{n=1}^\infty |F(x)_n| = \left| -\frac{1}{2} \log 2 \right| + 0 + 0 + \dots = \frac{1}{2} \log 2 < \infty $$
が成り立つ。ゆえに $F(x) \in \ell^1(\mathbb{N})$ である。
商空間 (quotient space) への射影 $\pi$ の定義より、ある元が商空間において $0$ となることと、その代表元が部分空間 $\ell^1(\mathbb{N})$ に属することは同値である。いま $F(x) \in \ell^1(\mathbb{N})$ であることが示されたため、商写像による像は $\pi(F(x)) = 0$ となる。
以上より、$\tilde{F}(x) = \pi(F(x)) = 0$ を満たす非自明な元 $x \neq 0$ が存在することが示された。すなわち、この線型写像の核 (kernel) は自明なゼロ空間ではなく、単射ではない。証明終。
6. 凝縮 $\mathbb{R}$ ベクトル空間の圏における単射性
前節では単なるベクトル空間の写像として単射ではないことを示したが、より圏論的な枠組み、すなわち凝縮 $\mathbb{R}$ ベクトル空間の圏においても、この射は単射 (monomorphism) ではない。
定義 3
凝縮集合の圏において、一点からなる位相空間 (topological space) は超不連結 (extremally disconnected) な compact Hausdorff空間 (compact Hausdorff space) であるため、これを $*$ と書く。任意の凝縮集合 $X : \text{ExtrDisc}^{\text{op}} \to \text{Set}$ に対して、$X(*)$ を評価することで、元の位相空間の台集合 (underlying set) を取り出すことができる。
また、アーベル圏における射 $f : A \to B$ が単射 (monomorphism) であるとは、$\ker(f) = 0$ となることと同値である。さらに、凝縮集合の圏において極限 (limit) は各対象ごとに点ごと (pointwise) に計算されるため、凝縮対象の射の核を一点 $*$ で評価したものは、台ベクトル空間の射の通常の意味での核と同型になる。
命題 6.1
凝縮 $\mathbb{R}$ ベクトル空間の射 $\pi \circ \underline{F} : \underline{\ell^1(\mathbb{N})} \to \underline{\ell^2(\mathbb{N})} / \underline{\ell^1(\mathbb{N})}$ は単射 (monomorphism) ではない。
証明:
命題 5.1 の証明により、写像 $F : \ell^1(\mathbb{N}) \to \ell^2(\mathbb{N})$ が誘導する商空間への写像 $\tilde{F} : \ell^1(\mathbb{N}) \to \ell^2(\mathbb{N}) / \ell^1(\mathbb{N})$ は、通常のベクトル空間の意味で単射ではなく、その核 $\ker(\tilde{F})$ は非自明な元（例えば $x = (1/2, 0, 0, \dots)$）を含み、ゼロ空間ではない。
凝縮 $\mathbb{R}$ ベクトル空間の射 $\pi \circ \underline{F}$ を一点 $*$ で評価すると、これは位相空間としての台ベクトル空間の間の写像 $\tilde{F}$ そのものに一致する。すなわち、$(\pi \circ \underline{F})(*) = \tilde{F}$ である。
凝縮ベクトル空間の圏において極限 (limit) は点ごとに計算されるため、凝縮対象としての核 $\ker(\pi \circ \underline{F})$ を一点 $*$ で評価したものは、写像 $\tilde{F}$ の通常の核に等しい。
$$ (\ker(\pi \circ \underline{F}))(*) = \ker((\pi \circ \underline{F})(*)) = \ker(\tilde{F}) $$
すでに $\ker(\tilde{F})$ がゼロ空間ではないことを示しているため、$\ker(\pi \circ \underline{F})$ を一点 $*$ で評価した集合は $0$ のみからなる集合ではない。したがって、凝縮対象としての $\ker(\pi \circ \underline{F})$ はゼロ対象 (zero object) ではない。
アーベル圏において、射が単射 (monomorphism) であるための必要十分条件は、その核がゼロ対象となることである。いま、核 $\ker(\pi \circ \underline{F})$ がゼロ対象ではないことが示されたため、射 $\pi \circ \underline{F}$ は凝縮 $\mathbb{R}$ ベクトル空間の圏において単射ではない。証明終。
7. 液体ベクトル空間としての商空間の構成と意義
$\ell^p(\mathbb{N})$ （ $p \ge 1$ ）が液体ベクトル空間 (liquid vector space) であるという事実から、凝縮数学の枠組みにおける商空間 $\ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ の構成とその性質について、極めて重要かつ非自明な結論が導かれる。
- 商対象の well-defined な存在と情報の保持: 位相空間の圏において、部分空間 $\ell^1(\mathbb{N})$ が $\ell^2(\mathbb{N})$ において稠密であることから、商位相空間としての $\ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ は密着位相となり、位相的な構造が完全に退化してしまった。しかし、液体ベクトル空間の圏はアーベル圏である。アーベル圏においては任意の射に対して核と余核が存在するため、自然な包含写像 $i : \ell^1(\mathbb{N}) \to \ell^2(\mathbb{N})$ の余核として、商対象 $\ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ が液体ベクトル空間として well-defined に存在する。この商対象は構造が潰れることなく、液体ベクトル空間の圏において元の空間の解析的な豊かさを保持した非自明な対象となる。
- 特異な射 (exotic map) の存在とその圏論的意義: 構成した射 $\pi \circ \underline{F} : \ell^1(\mathbb{N}) \to \ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ は、液体ベクトル空間の間の完全な線型写像となる。これは、液体ベクトル空間の圏の中に、Banach空間の間には存在し得ないような「特異な射」が存在することを意味する。商空間 $\ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ は、液体ベクトル空間の圏の中において、アーベル群の圏における捩れ群である $\mathbb{Z}/2\mathbb{Z}$ のような役割を果たす。
- 射影的 (projective) ではないことの証明: もし仮に液体ベクトル空間の圏においても $\ell^1(\mathbb{N})$ が射影的対象であるならば、任意の全射 $\pi : \ell^2(\mathbb{N}) \to \ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ に対して、射 $\pi \circ \underline{F}$ は $\ell^2(\mathbb{N})$ へのリフトを持たなければならない。すなわち、ある射 $G : \ell^1(\mathbb{N}) \to \ell^2(\mathbb{N})$ が存在して $\pi \circ \underline{F} = \pi \circ G$ とならなければならない。しかし、関数 $x \mapsto x \log|x|$ が誘導するこの特異な射は、元の空間への連続な線型写像としてのリフトを持たないことが知られている。したがって、この特異な射の存在は、「 $\ell^1(\mathbb{N})$ は液体ベクトル空間の圏において射影的ではない」という圏論的な事実を直接的に証明する決定的な反例として機能している。
8. 凝縮ベクトル空間における商の具体的な構成と超不連結空間の役割
凝縮ベクトル空間（より一般に凝縮集合）の圏において、商対象（ベクトル空間の層の商）を構成する具体的なプロセスは、テスト空間として用いる $\text{ExtrDisc}$ （超不連結な compact Hausdorff空間の圏）の際立った位相的性質に強く依存している。
命題 8.1
凝縮 $\mathbb{R}$ ベクトル空間の商対象 $Q = \underline{\ell^2(\mathbb{N})} / \underline{\ell^1(\mathbb{N})}$ を任意の $S \in \text{ExtrDisc}$ で評価したベクトル空間 $Q(S)$ は、前層の商と完全に一致する。すなわち、
$$ Q(S) = C(S, \ell^2(\mathbb{N})) / C(S, \ell^1(\mathbb{N})) $$
が成り立つ。
証明の概説:
問題は、全射 $\pi : A \to Q$ を $S$ で評価した写像 $\pi_S : A(S) \to Q(S)$ が前層の段階で全射になっているかどうかである。
任意の $q \in Q(S)$ をとる。$Q$ は層の商であるため、$q$ は局所的に持ち上がる。すなわち、有限個の $S_i \in \text{ExtrDisc}$ と、全射な連続写像の族 $(p_i : S_i \to S)$ が存在して、各制限が持ち上がる。
有限和 $E = \coprod S_i$ を考えると、$E$ もまた超不連結な compact Hausdorff空間であり、連続写像 $p : E \to S$ は全射となる。
Gleasonの定理により、$S \in \text{ExtrDisc}$ は compact Hausdorff空間の圏において射影的対象である。したがって、連続な全射 $p : E \to S$ に対して、恒等写像を持ち上げる連続な切断 $s : S \to E$ が存在する。
この切断 $s$ を用いて、$E$ 上に持ち上がった元を $S$ 上へ引き戻すことで、局所的に定義された元が全体 $S$ 上で一意の元に持ち上がることが示される。すなわち、層化 (sheafification) に伴う複雑な変形が $\text{ExtrDisc}$ 上では一切発生せず、極めて素朴な「各点での商の関手」として記述される。
9. 超不連結空間の射影性が他の演算に与える影響
凝縮数学において $\text{ExtrDisc}$ の射影性 (projectivity) は、単なる商空間の構成にとどまらず、テンソル積や完備化といった関数解析の基本的な演算を根本から書き直す決定的な役割を担っている。
- 層化 (Sheafification) の回避と余極限の計算: 通常の層の理論における直和やテンソル積（余極限）は、前層で演算を行った後に層化を必要とする。しかし、凝縮集合の圏では $\text{ExtrDisc}$ が射影的であるため、前層のテンソル積がそのまま層になる。すなわち、$(V \otimes W)(S) = V(S) \otimes_{\mathbb{R}} W(S)$ が成り立ち、局所的な貼り合わせが完全に不要になる。
- 「十分な射影的対象」とホモロジー代数の正常化: 古典的な位相線型空間の圏がアーベル圏にならず、射影的対象が存在しないため、ホモロジー代数を構築することが困難であった。しかし、凝縮ベクトル空間では $\mathbb{R}[S]$ （$S \in \text{ExtrDisc}$）という完全な射影的対象が存在する。これにより、任意の凝縮ベクトル空間を射影的分解で表すことが可能になり、位相的テンソル積を導来圏における「左導来テンソル積」として代数的に統一して計算できるようになる。
- 完備化 (Completion) の導来化: 完備化を導来圏の局所化として再定義し、通常の完備化で失われてしまう情報（非ハウスドルフ的な部分など）を、十分な射影的対象の存在により「高次のホモロジー群」として安全に保存することが可能になった。
10. 導来完備化（液体化）によるテンソル積と核型空間の一般化
凝縮数学における完備化の導来化、すなわち「液体化 (liquidification)」は、古典的な関数解析における最大の難所であったテンソル積と核型空間 (nuclear space) の理論を劇的に簡略化し、代数的に扱えるようにする。
- Banach空間のテンソル積の明快な計算:
古典的な理論では、2つの Banach空間 $V$ と $W$ のテンソル積には「射影的テンソル積 $V \hat{\otimes}_\pi W$」や「単射的テンソル積 $V \hat{\otimes}_\varepsilon W$」など無数の位相的テンソル積が存在し、それぞれ異なる完備化を必要とした。
液体ベクトル空間の理論では、テンソル積はまず凝縮ベクトル空間のアーベル圏において「代数的な左導来テンソル積 $V \otimes^{\mathbb{L}} W$」として一意に計算される。その後、この結果に対して「液体化関手 (liquidification functor)」を適用するだけでよい。この関手はアーベル圏の局所化 (localization) として定式化されるため、ホモロジー代数の標準的な手法（完全列やスペクトル系列など）がそのまま適用でき、位相的な煩雑さ（例えば半ノルムの複雑な評価など）を完全にバイパスしてテンソル積の計算が可能になる。
- 核型空間 (nuclear space) の自然な一般化:
Grothendieck によって導入された核型空間は、「任意の Banach空間とのテンソル積において、射影的テンソル積と単射的テンソル積が一致する」という極めて良い性質を持つ空間である。しかし、古典的な定義は多数の半ノルムやトレースクラス作用素を用いた複雑なものだった。
凝縮・液体数学の枠組みでは、核型空間は「液体化関手に対して平坦 (flat) な対象」、あるいはより簡潔に「核型液体ベクトル空間 (nuclear liquid vector space)」として自然に再定義される。この枠組みでは、テンソル積の一意性は「導来テンソル積の高次ホモロジーが消滅する」という純粋にコホモロジー的な条件に翻訳される。これにより、解析的な定義から代数幾何学的な「平坦性」の概念へとパラダイムシフトが起こり、核型空間の理論がより広範な空間（例えば非アルキメデス的体上の空間など）へと完全に一般化されるのである。